La sociologie pragmatique

Composants objets fiables : une approche pragmatique

Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the highest formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-or...

Un système de types pragmatique pour la vérification déductive des programmes. (A Pragmatic Type System for Deductive Software Verification)

This thesis is conducted in the framework of deductive software verification. isaims to formalize some concepts that are implemented in the verification tool Why3.The main idea is to explore solutions that a type system based approach can bring todeductive verification.First, we focus our attention on the notion of ghost code, a technique that is usedin most of modern verifi...

Dialogue homme-machine multimodal : de la pragmatique linguistique à la conception de systèmes. (Multimodal human-machine dialogue: from pragmatic linguistics to system design)

Human-machine dialogue aims at providing natural dialogue in natural language, i.e., allowing the user to speak using his own language (natural language), following a structure of moves and exchanges that is similar to human dialogue structure (natural dialogue). Related research works feed on linguistics, which analyses language markers, and pragmatics, which analyses language use in context. ...

Une approche pragmatique pour mesurer la qualité des applications à base de composants logiciels. (A pragmatic approach to measure the quality of Component-Based Software Applications)

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique